Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 174, 175, 176, 177, 178, 179, 180, 181, 182, 184, 185, 186, 187, 188, 189, 192, 194, 195, 196, 198, 199, 202, 204, 205, 206, 207, 208, 209, 213, 214, 215, 216, 218, 219, 223, 224, 225, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 284, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357 }

B grade: { 183, 193, 203 }

C grade: { 190, 191, 197, 210, 211, 212, 217, 220, 221, 222 }

F grade: { 171, 172, 173, 200, 201, 226, 260, 261, 282, 283, 285, 286}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 50, 51, 55, 56, 57, 58, 69, 70, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 97, 101, 102, 103, 104, 105, 106, 107, 108, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 132, 134, 135, 136, 137, 138, 145, 146, 147, 148, 149, 150, 151, 152, 156, 157, 158, 159, 160, 161, 162, 163, 164, 169, 170, 175, 176, 177, 178, 179, 180, 181, 185, 186, 189, 195, 196, 197, 198, 199, 200, 205, 206, 209, 212, 213, 214, 215, 216, 217, 218, 219, 222, 223, 224, 225, 226, 259, 264, 265, 270, 271, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 294, 295, 296, 297, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309 }

B grade: { 109, 110, 116, 117, 118, 153, 154, 155, 165, 166, 167, 168, 187, 188, 190, 191, 201, 207, 208, 293, 298 }

C grade: { 16, 17, 27, 139, 142, 210, 211, 220, 221, 311, 312, 313, 314, 315, 316, 317, 319, 320, 321, 322, 323, 324, 325, 331, 335, 336, 337, 338, 339, 340, 341, 343, 344, 345, 346, 347, 348, 349, 355 }

F grade: { 35, 36, 43, 44, 52, 53, 54, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 89, 98, 99, 100, 131, 133, 140, 141, 143, 144, 171, 172, 173, 174, 182, 183, 184, 192, 193, 194, 202, 203, 204, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 260, 261, 262, 263, 266, 267, 268, 269, 272, 273, 274, 310, 318, 326, 327, 328, 329, 330, 332, 333, 334, 342, 350, 351, 352, 353, 354, 356, 357 }

2.1.4 Maxima

A grade: { 1, 2, 3, 12, 13, 14, 23, 24, 25, 33, 38, 39, 40, 41, 42, 51, 55, 57, 58, 69, 70, 83, 84, 85, 86, 87, 88, 93, 94, 95, 96, 97, 101, 107, 115, 122, 124, 125, 126, 127, 128, 129, 130, 132, 134, 145, 146, 157, 158, 163, 164, 169, 170, 175, 176, 180, 181, 185, 186, 189, 195, 196, 205, 206, 209, 215, 216, 225, 226, 231, 238, 245, 255, 259, 264, 265, 270, 271, 275, 276, 277, 278, 279, 280, 281, 284, 287, 299, 300, 301, 302, 303, 305, 306, 307, 309, 311, 312, 313, 314, 319, 321, 336, 343, 345

B grade: { 37, 61, 62, 63, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 78, 79, 80, 82, 187, 188, 192, 193, 194, 202, 203, 204, 207, 208, 335, 337, 338 }

C grade: { 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 34, 59, 60, 71, 72, 103, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 116, 117, 118, 119, 120, 121, 123, 153, 154, 155, 156, 165, 166, 167, 168, 197, 198, 199, 212, 213, 214, 217, 218, 219, 222, 223, 224, 288, 289, 290, 294, 295, 315, 316, 317, 320, 322, 323, 324, 325, 339, 340, 341, 344, 346, 347, 348, 349 }

F grade: { 35, 36, 43, 44, 45, 46, 47, 48, 49, 50, 52, 53, 54, 56, 81, 89, 90, 91, 92, 98, 99, 100, 102, 131, 133, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 147, 148, 149, 150, 151, 152, 159, 160, 161, 162, 171, 172, 173, 174, 177, 178, 179, 182, 183, 184, 190, 191, 200, 201, 210, 211, 220, 221, 227, 228, 229, 230, 232, 233, 234, 235, 236, 237, 239, 240, 241, 242, 243, 244, 246, 247, 248, 249, 250, 251, 252, 253, 254, 256, 257, 258, 260, 261, 262, 263, 266, 267, 268, 269, 272, 273, 274, 282, 283, 285, 286, 291, 292, 293, 296, 297, 298, 304, 308, 310, 318, 326, 327, 328, 329, 330, 331, 332, 333, 334, 342, 350, 351, 352, 353, 354, 355, 356, 357 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 132, 134, 135, 136, 137, 138, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 185, 186, 187, 188, 189, 192, 193, 194, 195, 196, 197, 198, 199, 202, 203, 204, 205, 206, 207, 208, 209, 212, 213, 214, 215, 216, 217, 218, 219, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 237, 238, 245, 246, 247, 248, 255, 256, 259, 264, 265, 270, 271, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 331, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 355 }

B grade: { 36, 44, 81, 89, 184 }

C grade: { 35, 43, 190, 191, 200, 201, 210, 211, 220, 221 }

F grade: { 131, 133, 139, 140, 141, 142, 143, 144, 232, 233, 234, 235, 236, 239, 240, 241, 242, 243, 244, 249, 250, 251, 252, 253, 254, 257, 258, 260, 261, 262, 263, 266, 267, 268, 269, 272, 273, 274, 326, 327, 328, 329, 330, 332, 333, 350, 351, 352, 353, 354, 356, 357 }

2.1.6 Sympy

A grade: { 1, 2, 3, 9, 12, 13, 14, 23, 24, 25, 29, 31, 33, 34, 37, 38, 39, 40, 41, 42, 46, 48, 49, 51, 55, 56, 57, 58, 69, 70, 82, 83, 84, 85, 86, 87, 88, 91, 93, 94, 95, 97, 101, 102, 106, 107, 108, 109, 110, 114, 115, 116, 117, 118, 122, 124, 125, 126, 128, 129, 157, 169, 170, 175, 176, 187, 188, 189, 209, 215, 216, 259, 264, 265, 270, 271, 275, 299, 300, 301, 302, 303, 311, 312, 313, 314, 319, 321 }

B grade: { 7, 8, 28, 32, 127 }

C grade: { }

F grade: { 4, 5, 6, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 30, 35, 36, 43, 44, 45, 47, 50, 52, 53, 54, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 89, 90, 92, 96, 98, 99, 100, 103, 104, 105, 111, 112, 113, 119, 120, 121, 123, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 171, 172, 173, 174, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 210, 211, 212, 213, 214, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 260, 261, 262, 263, 266, 267, 268, 269, 272, 273, 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 304, 305, 306, 307, 308, 309, 310, 315, 316, 317, 318, 320, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 12, 13, 14, 15, 23, 24, 25, 26, 33, 34, 37, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 50, 51, 55, 56, 57, 58, 59, 69, 70, 71, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 97, 101, 102, 107, 115, 124, 125, 126, 127, 128, 129, 130, 132, 134, 157, 158, 163, 164, 169, 170, 175, 176, 180, 181, 185, 186, 195, 196, 205, 206, 208, 209, 215, 216, 225, 226, 227, 228, 229, 230, 231, 237, 238, 259, 264, 265, 270, 271, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309 }

B grade: { 5, 6, 16, 17, 27, 60, 72, 187, 188, 189, 207 }

C grade: { 7, 8, 9, 18, 19, 20, 28, 29, 31, 32, 153, 154, 155, 156, 165, 166, 167, 168, 212, 213, 214, 235, 236, 239 }

F grade: { 10, 11, 21, 22, 30, 35, 36, 43, 44, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 78, 79, 80, 81, 89, 98, 99, 100, 103, 104, 105, 106, 108, 109, 110, 111, 112, 113, 114, 116, 117, 118, 119, 120, 121, 122, 123, 131, 133, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 159, 160, 161, 162, 171, 172, 173, 174, 177, 178, 179, 182, 183, 184, 190, 191, 192, 193, 194, 197, 198, 199, 200, 201, 202, 203, 204, 210, 211, 217, 218, 219, 220, 221, 222, 223, 224, 232, 233, 234, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 260, 261, 262, 263, 266, 267, 268, 269, 272, 273, 274, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 51 62 63 115 65 93
normalized size 1 1. 0.89 1.09 1.11 2.02 1.14 1.63
time (sec) N/A 0.073 0.086 0.01 0.981 1.991 3.952 1.177


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 40 50 93 49 82
normalized size 1 1. 1. 0.91 1.14 2.11 1.11 1.86
time (sec) N/A 0.043 0.004 0.007 0.976 1.923 0.987 1.176


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 41 27 28 49 31 35
normalized size 1 1. 1.64 1.08 1.12 1.96 1.24 1.4
time (sec) N/A 0.021 0.014 0.005 0.961 1.835 0.231 1.147


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 29 28 68 144 0 43
normalized size 1 1. 0.94 0.9 2.19 4.65 0. 1.39
time (sec) N/A 0.034 0.049 0.009 1.155 2.012 0. 1.112


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 48 47 77 197 0 134
normalized size 1 1. 0.91 0.89 1.45 3.72 0. 2.53
time (sec) N/A 0.091 0.081 0.009 1.148 1.928 0. 1.149


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 86 65 78 242 0 275
normalized size 1 1. 1.16 0.88 1.05 3.27 0. 3.72
time (sec) N/A 0.125 0.087 0.009 1.156 1.928 0. 1.117


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 125 89 387 297 488 223
normalized size 1 1. 1.03 0.74 3.2 2.45 4.03 1.84
time (sec) N/A 0.134 0.251 0.009 1.627 2.078 4.247 1.15


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 104 68 350 252 223 196
normalized size 1 1. 1.02 0.67 3.43 2.47 2.19 1.92
time (sec) N/A 0.068 0.195 0.009 1.646 2.089 2.931 1.158


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 61 48 315 204 66 138
normalized size 1 1. 0.82 0.65 4.26 2.76 0.89 1.86
time (sec) N/A 0.043 0.142 0.003 1.634 1.989 0.526 1.12


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 91 66 366 221 0 0
normalized size 1 1. 1.03 0.75 4.16 2.51 0. 0.
time (sec) N/A 0.074 0.182 0.008 1.163 1.936 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 119 83 369 284 0 0
normalized size 1 1. 1.04 0.73 3.24 2.49 0. 0.
time (sec) N/A 0.091 0.216 0.009 1.178 2.061 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 122 140 143 265 209 244
normalized size 1 1. 0.75 0.86 0.88 1.63 1.28 1.5
time (sec) N/A 0.247 0.39 0.016 1.034 2.054 7.3 1.119


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 92 93 117 188 136 166
normalized size 1 1. 0.9 0.91 1.15 1.84 1.33 1.63
time (sec) N/A 0.134 0.221 0.016 1.019 1.978 2.255 1.16


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 52 62 70 119 95 77
normalized size 1 1. 0.9 1.07 1.21 2.05 1.64 1.33
time (sec) N/A 0.049 0.123 0.013 0.984 2.043 0.607 1.12


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 71 69 146 321 0 104
normalized size 1 1. 0.96 0.93 1.97 4.34 0. 1.41
time (sec) N/A 0.105 0.166 0.033 1.214 2.045 0. 1.152


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 116 203 167 425 0 305
normalized size 1 1. 1.01 1.77 1.45 3.7 0. 2.65
time (sec) N/A 0.221 0.254 0.247 1.242 2.067 0. 1.123


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 158 262 174 510 0 605
normalized size 1 1. 0.93 1.55 1.03 3.02 0. 3.58
time (sec) N/A 0.29 0.465 0.227 1.221 2.166 0. 1.496


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 234 189 807 595 0 444
normalized size 1 1. 0.95 0.77 3.27 2.41 0. 1.8
time (sec) N/A 0.242 0.573 0.016 1.853 2.253 0. 1.427


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 191 142 743 498 0 382
normalized size 1 1. 0.96 0.72 3.75 2.52 0. 1.93
time (sec) N/A 0.157 0.532 0.016 1.818 2.303 0. 1.527


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 147 99 660 385 0 263
normalized size 1 1. 0.96 0.65 4.31 2.52 0. 1.72
time (sec) N/A 0.109 0.323 0.015 1.782 2.029 0. 1.448


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 184 137 743 439 0 0
normalized size 1 1. 0.98 0.73 3.97 2.35 0. 0.
time (sec) N/A 0.162 0.514 0.014 1.258 2.162 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 226 175 756 556 0 0
normalized size 1 1. 0.95 0.73 3.16 2.33 0. 0.
time (sec) N/A 0.197 0.663 0.014 1.252 2.446 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 75 113 107 182 143 165
normalized size 1 1. 0.64 0.97 0.91 1.56 1.22 1.41
time (sec) N/A 0.13 0.266 0.013 0.99 2.231 11.958 1.125


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 58 66 81 138 92 81
normalized size 1 1. 0.73 0.84 1.03 1.75 1.16 1.03
time (sec) N/A 0.074 0.153 0.011 0.985 2.208 4.041 1.123


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 26 36 61 46 35
normalized size 1 1. 1. 0.79 1.09 1.85 1.39 1.06
time (sec) N/A 0.031 0.028 0.006 0.964 2.166 1.037 1.109


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 51 48 120 262 0 63
normalized size 1 1. 0.93 0.87 2.18 4.76 0. 1.15
time (sec) N/A 0.095 0.074 0.027 1.221 2.304 0. 1.122


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 90 162 135 367 0 251
normalized size 1 1. 0.99 1.78 1.48 4.03 0. 2.76
time (sec) N/A 0.22 0.13 0.194 1.215 2.295 0. 1.107


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 159 132 695 447 439 350
normalized size 1 1. 0.85 0.7 3.7 2.38 2.34 1.86
time (sec) N/A 0.225 0.433 0.013 2.245 2.464 6.389 1.144


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 117 99 651 374 129 250
normalized size 1 1. 0.76 0.65 4.25 2.44 0.84 1.63
time (sec) N/A 0.082 0.23 0.01 1.793 2.201 2.457 1.123


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 167 130 725 440 0 0
normalized size 1 1. 0.99 0.77 4.32 2.62 0. 0.
time (sec) N/A 0.146 0.433 0.01 1.261 2.482 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 63 58 131 200 116 131
normalized size 1 1. 0.89 0.82 1.85 2.82 1.63 1.85
time (sec) N/A 0.053 0.067 0.011 1.527 2.189 4.989 1.104


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 75 78 158 254 291 169
normalized size 1 1. 0.89 0.93 1.88 3.02 3.46 2.01
time (sec) N/A 0.078 0.149 0.019 1.538 2.193 6.099 1.131


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 67 50 74 126 95 70
normalized size 1 1. 1. 0.75 1.1 1.88 1.42 1.04
time (sec) N/A 0.045 0.043 0.005 0.984 2.301 12.665 1.108


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 41 39 73 154 51 53
normalized size 1 1. 0.93 0.89 1.66 3.5 1.16 1.2
time (sec) N/A 0.1 0.101 0.019 1.119 2.323 5.821 1.097


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 362 362 289 0 0 3376 0 0
normalized size 1 1. 0.8 0. 0. 9.33 0. 0.
time (sec) N/A 0.879 0.21 0.047 0. 3.321 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 188 0 0 2481 0 0
normalized size 1 1. 0.77 0. 0. 10.13 0. 0.
time (sec) N/A 0.514 0.065 0.037 0. 3.447 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 48 10905 458 192 85
normalized size 1 1. 1. 1. 227.19 9.54 4. 1.77
time (sec) N/A 0.069 0.081 0.017 155.146 2.107 16.044 1.114


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.395 0.042 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.351 0.04 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.365 0.035 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 0.023 0.032 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.268 0.036 0. 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 663 663 513 0 0 5577 0 0
normalized size 1 1. 0.77 0. 0. 8.41 0. 0.
time (sec) N/A 1.302 2.309 0.669 0. 4.061 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 302 0 0 3438 0 0
normalized size 1 1. 0.93 0. 0. 10.61 0. 0.
time (sec) N/A 0.596 0.949 0.586 0. 3.975 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 91 164 0 798 0 194
normalized size 1 1. 1. 1.8 0. 8.77 0. 2.13
time (sec) N/A 0.102 0.205 0.041 0. 2.107 0. 1.117


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.046 5.923 0.598 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 8.169 0.921 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 4.192 0.371 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.007 4.807 0.509 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 7.192 0.696 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.846 0.723 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 444 444 373 0 0 894 0 0
normalized size 1 1. 0.84 0. 0. 2.01 0. 0.
time (sec) N/A 0.48 8.562 0.415 0. 2.356 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 279 279 551 0 0 555 0 0
normalized size 1 1. 1.97 0. 0. 1.99 0. 0.
time (sec) N/A 0.263 6.513 0.374 0. 2.033 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 149 0 0 263 0 0
normalized size 1 1. 1.11 0. 0. 1.96 0. 0.
time (sec) N/A 0.119 1.571 0.125 0. 1.694 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.412 0.08 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.659 0.224 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 73 50 93 49 82
normalized size 1 1. 1. 1.66 1.14 2.11 1.11 1.86
time (sec) N/A 0.052 0.008 0.019 0.979 1.753 4.557 1.095


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 41 27 28 49 31 35
normalized size 1 1. 1.64 1.08 1.12 1.96 1.24 1.4
time (sec) N/A 0.027 0.022 0.001 0.966 1.666 0.567 1.093


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 29 0 68 144 0 43
normalized size 1 1. 0.94 0. 2.19 4.65 0. 1.39
time (sec) N/A 0.039 0.051 0.045 1.513 1.661 0. 1.143


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 48 0 77 197 0 134
normalized size 1 1. 0.91 0. 1.45 3.72 0. 2.53
time (sec) N/A 0.102 0.087 0.072 1.137 1.709 0. 1.113


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 124 0 402 204 0 0
normalized size 1 1. 1.11 0. 3.59 1.82 0. 0.
time (sec) N/A 0.085 0.228 0.063 1.177 1.66 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 108 0 375 149 0 0
normalized size 1 1. 1.19 0. 4.12 1.64 0. 0.
time (sec) N/A 0.064 0.126 0.05 1.154 1.738 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 120 0 366 180 0 0
normalized size 1 1. 1.19 0. 3.62 1.78 0. 0.
time (sec) N/A 0.078 0.211 0.068 1.156 1.76 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 143 0 369 230 0 0
normalized size 1 1. 1.1 0. 2.84 1.77 0. 0.
time (sec) N/A 0.102 0.373 0.082 1.163 1.776 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 124 0 396 201 0 0
normalized size 1 1. 1.17 0. 3.74 1.9 0. 0.
time (sec) N/A 0.072 0.191 0.06 1.137 1.887 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 138 0 363 147 0 0
normalized size 1 1. 1.68 0. 4.43 1.79 0. 0.
time (sec) N/A 0.029 0.1 0.057 1.129 1.623 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 120 0 366 188 0 0
normalized size 1 1. 1.19 0. 3.62 1.86 0. 0.
time (sec) N/A 0.055 0.193 0.067 1.178 1.735 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 146 0 369 231 0 0
normalized size 1 1. 1.16 0. 2.93 1.83 0. 0.
time (sec) N/A 0.071 0.447 0.091 1.164 1.718 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 92 137 117 189 143 166
normalized size 1 1. 0.86 1.28 1.09 1.77 1.34 1.55
time (sec) N/A 0.133 0.281 0.095 1.016 1.762 8.309 1.105


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 52 62 70 119 99 77
normalized size 1 1. 0.87 1.03 1.17 1.98 1.65 1.28
time (sec) N/A 0.057 0.146 0.014 0.986 1.662 1.248 1.096


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 71 0 146 328 0 107
normalized size 1 1. 0.89 0. 1.82 4.1 0. 1.34
time (sec) N/A 0.093 0.181 0.17 1.221 1.704 0. 1.106


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 116 0 167 425 0 305
normalized size 1 1. 0.95 0. 1.37 3.48 0. 2.5
time (sec) N/A 0.219 0.267 0.225 1.244 1.788 0. 1.124


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 339 0 830 446 0 0
normalized size 1 1. 1.36 0. 3.33 1.79 0. 0.
time (sec) N/A 0.206 0.63 0.211 1.287 1.815 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 283 0 770 328 0 0
normalized size 1 1. 1.47 0. 3.99 1.7 0. 0.
time (sec) N/A 0.136 0.366 0.173 1.258 1.696 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 332 0 743 392 0 0
normalized size 1 1. 1.45 0. 3.24 1.71 0. 0.
time (sec) N/A 0.189 0.584 0.197 1.28 1.832 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 292 0 756 502 0 0
normalized size 1 1. 1.03 0. 2.67 1.77 0. 0.
time (sec) N/A 0.236 2.505 0.243 1.264 1.855 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 339 0 818 433 0 0
normalized size 1 1. 1.43 0. 3.45 1.83 0. 0.
time (sec) N/A 0.15 0.578 0.202 1.244 1.867 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 281 0 755 327 0 0
normalized size 1 1. 1.54 0. 4.13 1.79 0. 0.
time (sec) N/A 0.075 0.275 0.13 1.227 1.834 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 332 0 743 405 0 0
normalized size 1 1. 1.48 0. 3.3 1.8 0. 0.
time (sec) N/A 0.134 0.562 0.208 1.279 1.923 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 275 275 294 0 756 506 0 0
normalized size 1 1. 1.07 0. 2.75 1.84 0. 0.
time (sec) N/A 0.183 2.516 0.22 1.274 1.913 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 188 0 0 2483 0 0
normalized size 1 1. 0.77 0. 0. 10.13 0. 0.
time (sec) N/A 0.503 0.165 0.043 0. 2.954 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 51 49 10905 458 202 86
normalized size 1 1. 1. 0.96 213.82 8.98 3.96 1.69
time (sec) N/A 0.078 0.095 0.016 154.506 1.776 24.677 1.101


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.444 0.035 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.46 0.041 0. 0. 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.606 0.033 0. 0. 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.318 0.038 0. 0. 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 0.027 0.033 0. 0. 0. 0.


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.364 0.039 0. 0. 0. 0.


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 302 0 0 3438 0 0
normalized size 1 1. 0.93 0. 0. 10.61 0. 0.
time (sec) N/A 0.593 0.993 0.773 0. 3.284 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 91 167 0 798 0 197
normalized size 1 1. 0.97 1.78 0. 8.49 0. 2.1
time (sec) N/A 0.109 0.205 0.015 0. 1.889 0. 1.124


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 10.025 0.647 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 12.269 0.727 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 6.846 0.501 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 10.659 0.884 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 8.222 0.593 0. 0. 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 11.617 0.671 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.864 0.678 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 442 442 373 0 0 926 0 0
normalized size 1 1. 0.84 0. 0. 2.1 0. 0.
time (sec) N/A 0.414 12.47 0.389 0. 2.002 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 285 556 0 0 578 0 0
normalized size 1 1. 1.95 0. 0. 2.03 0. 0.
time (sec) N/A 0.232 6.819 0.381 0. 1.906 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 149 0 0 274 0 0
normalized size 1 1. 1.11 0. 0. 2.04 0. 0.
time (sec) N/A 0.1 1.601 0.124 0. 1.742 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.407 0.082 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.721 0.223 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 70 73 116 224 0 0
normalized size 1 1. 0.9 0.94 1.49 2.87 0. 0.
time (sec) N/A 0.131 0.073 0.012 1.146 2.043 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 52 57 103 203 0 0
normalized size 1 1. 0.87 0.95 1.72 3.38 0. 0.
time (sec) N/A 0.098 0.052 0.01 1.141 2.002 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 38 78 144 0 0
normalized size 1 1. 1. 1.19 2.44 4.5 0. 0.
time (sec) N/A 0.072 0.023 0.011 1.143 1.937 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 22 58 109 17 0
normalized size 1 1. 1. 1.05 2.76 5.19 0.81 0.
time (sec) N/A 0.028 0.047 0.009 1.144 1.922 1.339 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 16 27 14 16
normalized size 1 1. 1. 1.08 1.33 2.25 1.17 1.33
time (sec) N/A 0.014 0.013 0.004 0.956 1.691 1.261 1.105


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 42 68 69 29 0
normalized size 1 1. 1. 1.45 2.34 2.38 1. 0.
time (sec) N/A 0.025 0.004 0.007 1.134 1.56 2.427 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 38 95 69 95 46 0
normalized size 1 1. 0.84 2.11 1.53 2.11 1.02 0.
time (sec) N/A 0.046 0.052 0.009 1.381 1.675 4.456 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 61 165 68 112 61 0
normalized size 1 1. 1. 2.7 1.11 1.84 1. 0.
time (sec) N/A 0.068 0.005 0.008 1.148 1.538 7.662 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 86 96 134 290 0 0
normalized size 1 1. 0.89 0.99 1.38 2.99 0. 0.
time (sec) N/A 0.169 0.17 0.014 1.155 1.446 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 76 120 246 0 0
normalized size 1 1. 1. 1.17 1.85 3.78 0. 0.
time (sec) N/A 0.104 0.161 0.015 1.15 1.54 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 52 89 167 0 0
normalized size 1 1. 1. 1.27 2.17 4.07 0. 0.
time (sec) N/A 0.091 0.091 0.014 1.136 1.452 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 32 36 69 144 31 0
normalized size 1 1. 0.86 0.97 1.86 3.89 0.84 0.
time (sec) N/A 0.05 0.059 0.011 1.127 1.435 4.679 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 32 34 34 72 262 30
normalized size 1 1. 1.03 1.1 1.1 2.32 8.45 0.97
time (sec) N/A 0.027 0.056 0.007 0.963 1.213 4.391 1.099


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 43 97 92 132 445 0
normalized size 1 1. 0.84 1.9 1.8 2.59 8.73 0.
time (sec) N/A 0.04 0.079 0.011 1.128 1.329 6.388 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 54 197 92 158 654 0
normalized size 1 1. 0.62 2.26 1.06 1.82 7.52 0.
time (sec) N/A 0.065 0.127 0.013 1.132 1.285 9.598 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 65 334 92 194 726 0
normalized size 1 1. 0.61 3.12 0.86 1.81 6.79 0.
time (sec) N/A 0.081 0.18 0.012 1.133 1.563 16.805 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 59 539 209 0 0
normalized size 1 1. 1.01 0.74 6.74 2.61 0. 0.
time (sec) N/A 0.058 0.134 0.01 1.411 1.728 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 22 58 123 0 0
normalized size 1 1. 1. 0.88 2.32 4.92 0. 0.
time (sec) N/A 0.029 0.049 0.011 1.123 1.556 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 61 47 495 186 0 0
normalized size 1 1. 0.81 0.63 6.6 2.48 0. 0.
time (sec) N/A 0.031 0.102 0.009 1.174 1.706 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 38 20 0
normalized size 1 1. 1. 0.93 1.2 2.53 1.33 0.
time (sec) N/A 0.016 0.014 0.003 0.942 1.673 4.299 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 89 65 359 236 0 0
normalized size 1 1. 0.92 0.67 3.7 2.43 0. 0.
time (sec) N/A 0.059 0.156 0.009 1.163 1.795 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 23 8 8
normalized size 1 1. 1. 0.88 1. 2.88 1. 1.
time (sec) N/A 0.009 0.01 0.005 0.938 1.625 0.306 1.1


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 23 15 20 50 29 20
normalized size 1 1. 1.1 0.71 0.95 2.38 1.38 0.95
time (sec) N/A 0.02 0.023 0.009 0.941 1.658 0.903 1.099


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 17 22 57 20 22
normalized size 1 1. 1. 0.77 1. 2.59 0.91 1.
time (sec) N/A 0.012 0.015 0.006 0.949 1.628 0.303 1.099


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 41 52 41 134 379 41
normalized size 1 1. 0.59 0.75 0.59 1.94 5.49 0.59
time (sec) N/A 0.043 0.049 0.01 0.95 1.623 1.513 1.1


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 62 59 63 173 80 63
normalized size 1 1. 0.71 0.68 0.72 1.99 0.92 0.72
time (sec) N/A 0.064 0.055 0.01 0.973 1.675 8.298 1.091


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 1.019 0.985 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.023 1.392 0.85 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 88 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.102 0.164 1.123 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 38 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.929 0.948 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 132 132 148 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.19 0.449 0.967 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 40 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 1.269 0.765 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 24 0 131 0 0
normalized size 1 1. 0.92 0.96 0. 5.24 0. 0.
time (sec) N/A 0.038 0.061 0.006 0. 1.763 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 37 45 0 166 0 0
normalized size 1 1. 0.86 1.05 0. 3.86 0. 0.
time (sec) N/A 0.061 0.077 0.007 0. 1.712 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 54 52 0 275 0 0
normalized size 1 1. 0.81 0.78 0. 4.1 0. 0.
time (sec) N/A 0.092 0.106 0.012 0. 1.723 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 66 77 0 309 0 0
normalized size 1 1. 0.84 0.97 0. 3.91 0. 0.
time (sec) N/A 0.101 0.105 0.013 0. 1.793 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 95 74 0 0 0 0
normalized size 1 1. 1.09 0.85 0. 0. 0. 0.
time (sec) N/A 0.027 0.084 0.077 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 94 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.224 0.102 0. 0. 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 177 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.281 0.287 0. 0. 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 118 110 0 0 0 0
normalized size 1 1. 1.08 1.01 0. 0. 0. 0.
time (sec) N/A 0.079 0.202 0.111 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 129 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.169 0.519 0.1 0. 0. 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 225 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.238 0.579 0.217 0. 0. 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 30 44 43 68 0 0
normalized size 1 1. 0.86 1.26 1.23 1.94 0. 0.
time (sec) N/A 0.032 0.071 0.006 1.013 1.727 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 29 44 39 66 0 0
normalized size 1 1. 0.85 1.29 1.15 1.94 0. 0.
time (sec) N/A 0.03 0.063 0.013 1.007 1.843 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 47 44 0 189 0 0
normalized size 1 1. 1.02 0.96 0. 4.11 0. 0.
time (sec) N/A 0.089 0.074 0.006 0. 2.069 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 58 66 0 213 0 0
normalized size 1 1. 0.87 0.99 0. 3.18 0. 0.
time (sec) N/A 0.12 0.131 0.021 0. 2.148 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 95 99 0 394 0 0
normalized size 1 1. 0.84 0.88 0. 3.49 0. 0.
time (sec) N/A 0.215 0.19 0.018 0. 2.167 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 68 65 0 254 0 0
normalized size 1 1. 0.87 0.83 0. 3.26 0. 0.
time (sec) N/A 0.111 0.123 0.007 0. 1.993 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 82 89 0 294 0 0
normalized size 1 1. 0.86 0.94 0. 3.09 0. 0.
time (sec) N/A 0.151 0.172 0.019 0. 1.933 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 141 144 0 522 0 0
normalized size 1 1. 0.85 0.87 0. 3.16 0. 0.
time (sec) N/A 0.264 0.285 0.014 0. 1.999 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 173 586 3780 582 0 1381
normalized size 1 1. 0.78 2.63 16.95 2.61 0. 6.19
time (sec) N/A 0.312 1.027 0.014 4.5 1.671 0. 1.242


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 117 291 2245 392 0 903
normalized size 1 1. 0.78 1.94 14.97 2.61 0. 6.02
time (sec) N/A 0.164 0.618 0.005 3.696 1.61 0. 1.197


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 66 120 829 192 0 495
normalized size 1 1. 0.96 1.74 12.01 2.78 0. 7.17
time (sec) N/A 0.073 0.174 0.006 2.482 1.654 0. 1.177


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 42 193 117 0 193
normalized size 1 1. 1. 1.08 4.95 3. 0. 4.95
time (sec) N/A 0.008 0.015 0.007 1.836 1.592 0. 1.108


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 5.198 0.131 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 9.835 0.196 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 440 365 0 1023 0 0
normalized size 1 1. 1.31 1.08 0. 3.04 0. 0.
time (sec) N/A 0.42 0.87 0.013 0. 2.062 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 265 225 0 713 0 0
normalized size 1 1. 1.14 0.97 0. 3.06 0. 0.
time (sec) N/A 0.249 0.492 0.01 0. 1.859 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 95 101 0 383 0 0
normalized size 1 1. 0.79 0.84 0. 3.19 0. 0.
time (sec) N/A 0.128 0.284 0.012 0. 1.736 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 60 52 0 177 0 0
normalized size 1 1. 1. 0.87 0. 2.95 0. 0.
time (sec) N/A 0.034 0.033 0.007 0. 1.691 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 1.508 0.237 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 18.378 0.425 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 341 341 218 1248 6666 760 0 1449
normalized size 1 1. 0.64 3.66 19.55 2.23 0. 4.25
time (sec) N/A 0.572 2.947 0.013 4.861 1.959 0. 1.218


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 151 669 3950 513 0 952
normalized size 1 1. 0.59 2.61 15.43 2. 0. 3.72
time (sec) N/A 0.34 1.825 0.008 3.634 1.839 0. 1.237


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 114 309 1435 335 0 525
normalized size 1 1. 0.93 2.53 11.76 2.75 0. 4.3
time (sec) N/A 0.178 0.601 0.01 2.53 1.82 0. 1.197


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 67 136 335 242 0 204
normalized size 1 1. 0.81 1.64 4.04 2.92 0. 2.46
time (sec) N/A 0.042 0.071 0.009 1.798 1.643 0. 1.132


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 15.25 0.105 0. 0. 0. 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 25.994 0.178 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F A F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 434 434 0 0 0 1007 0 0
normalized size 1 1. 0. 0. 0. 2.32 0. 0.
time (sec) N/A 0.444 102.679 0.157 0. 1.971 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F A F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 280 280 0 0 0 774 0 0
normalized size 1 1. 0. 0. 0. 2.76 0. 0.
time (sec) N/A 0.276 40.177 0.106 0. 1.874 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F A F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 235 235 0 0 0 578 0 0
normalized size 1 1. 0. 0. 0. 2.46 0. 0.
time (sec) N/A 0.192 76.397 0.083 0. 1.77 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 115 0 0 277 0 0
normalized size 1 1. 1.07 0. 0. 2.59 0. 0.
time (sec) N/A 0.029 0.017 0.052 0. 1.8 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 57.888 0.105 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 121.895 0.164 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 467 302 0 1040 0 0
normalized size 1 1. 1.26 0.81 0. 2.8 0. 0.
time (sec) N/A 0.479 1.464 0.016 0. 2.075 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 242 150 0 670 0 0
normalized size 1 1. 1.22 0.76 0. 3.38 0. 0.
time (sec) N/A 0.259 0.772 0.013 0. 1.982 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 100 80 0 352 0 0
normalized size 1 1. 0.95 0.76 0. 3.35 0. 0.
time (sec) N/A 0.068 0.17 0.009 0. 1.728 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 4.556 0.221 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 21.707 0.309 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 330 330 405 0 0 1116 0 0
normalized size 1 1. 1.23 0. 0. 3.38 0. 0.
time (sec) N/A 0.3 2.524 0.289 0. 2.082 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 700 0 0 761 0 0
normalized size 1 1. 2.98 0. 0. 3.24 0. 0.
time (sec) N/A 0.146 2.272 0.21 0. 2.014 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 203 0 0 408 0 0
normalized size 1 1. 1.9 0. 0. 3.81 0. 0.
time (sec) N/A 0.027 0.487 0.101 0. 1.867 0. 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 5.15 0.273 0. 0. 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 26.665 0.379 0. 0. 0. 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 410 410 138 1246 1486 431 549 1848
normalized size 1 1. 0.34 3.04 3.62 1.05 1.34 4.51
time (sec) N/A 0.399 1.769 0.013 1.185 1.751 2.702 1.6


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 85 366 470 208 231 714
normalized size 1 1. 0.46 1.98 2.54 1.12 1.25 3.86
time (sec) N/A 0.159 0.416 0.008 1.022 1.689 0.742 1.299


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 50 61 84 111 66 225
normalized size 1 1. 0.93 1.13 1.56 2.06 1.22 4.17
time (sec) N/A 0.028 0.074 0.007 0.95 1.642 0.491 1.202


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 238 238 238 785 0 524 0 0
normalized size 1 1. 1. 3.3 0. 2.2 0. 0.
time (sec) N/A 0.749 1.47 0.021 0. 1.836 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 339 339 397 1817 0 873 0 0
normalized size 1 1. 1.17 5.36 0. 2.58 0. 0.
time (sec) N/A 0.983 3.577 0.048 0. 1.968 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 382 382 419 0 2504 740 0 0
normalized size 1 1. 1.1 0. 6.55 1.94 0. 0.
time (sec) N/A 0.306 3.146 0.036 2.572 2.315 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 705 0 1449 524 0 0
normalized size 1 1. 2.42 0. 4.98 1.8 0. 0.
time (sec) N/A 0.2 2.61 0.02 1.983 2.333 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 123 0 466 198 0 0
normalized size 1 1. 1.07 0. 4.05 1.72 0. 0.
time (sec) N/A 0.081 0.149 0.004 1.371 2.149 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 10.778 0.036 0. 0. 0. 0.


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 13.406 0.039 0. 0. 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 611 611 557 696 1184 1119 0 0
normalized size 1 1. 0.91 1.14 1.94 1.83 0. 0.
time (sec) N/A 0.791 2.2 0.059 2.048 2.386 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 301 301 367 295 549 621 0 0
normalized size 1 1. 1.22 0.98 1.82 2.06 0. 0.
time (sec) N/A 0.393 0.62 0.028 1.552 2.284 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 99 84 167 360 0 0
normalized size 1 1. 1.05 0.89 1.78 3.83 0. 0.
time (sec) N/A 0.118 0.076 0.015 1.206 2.167 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F A F C F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 276 276 0 438 0 741 0 0
normalized size 1 1. 0. 1.59 0. 2.68 0. 0.
time (sec) N/A 1.203 15.316 0.029 0. 2.359 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F B F C F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 350 350 0 2724 0 1003 0 0
normalized size 1 1. 0. 7.78 0. 2.87 0. 0.
time (sec) N/A 0.929 180.033 0.052 0. 2.431 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 390 390 463 0 2916 1211 0 0
normalized size 1 1. 1.19 0. 7.48 3.11 0. 0.
time (sec) N/A 0.428 2.252 0.056 2.929 2.799 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 835 0 1623 825 0 0
normalized size 1 1. 3.33 0. 6.47 3.29 0. 0.
time (sec) N/A 0.226 2.653 0.043 2.078 2.041 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 166 0 516 359 0 0
normalized size 1 1. 1.44 0. 4.49 3.12 0. 0.
time (sec) N/A 0.082 0.44 0.012 1.383 1.944 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 13.111 0.056 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 15.474 0.055 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 633 633 256 2704 2904 776 0 2103
normalized size 1 1. 0.4 4.27 4.59 1.23 0. 3.32
time (sec) N/A 0.647 2.509 0.013 1.428 1.763 0. 1.621


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 147 801 919 362 0 613
normalized size 1 1. 0.51 2.78 3.19 1.26 0. 2.13
time (sec) N/A 0.269 0.604 0.009 1.093 1.67 0. 1.397


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 65 134 162 155 95 111
normalized size 1 1. 0.76 1.58 1.91 1.82 1.12 1.31
time (sec) N/A 0.057 0.108 0.009 0.965 1.704 1.519 1.222


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 396 396 118 327 0 1119 0 0
normalized size 1 1. 0.3 0.83 0. 2.83 0. 0.
time (sec) N/A 1.39 1.756 0.019 0. 1.931 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 555 555 180 1175 0 1789 0 0
normalized size 1 1. 0.32 2.12 0. 3.22 0. 0.
time (sec) N/A 2.124 1.11 0.067 0. 2.124 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 513 513 432 395 1769 782 0 1049
normalized size 1 1. 0.84 0.77 3.45 1.52 0. 2.04
time (sec) N/A 0.535 2.313 0.01 2.389 2.071 0. 1.332


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 213 175 832 450 0 549
normalized size 1 1. 0.88 0.72 3.42 1.85 0. 2.26
time (sec) N/A 0.264 0.824 0.009 1.884 1.879 0. 1.26


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 114 86 373 297 0 230
normalized size 1 1. 0.88 0.66 2.87 2.28 0. 1.77
time (sec) N/A 0.074 0.148 0.006 1.623 1.791 0. 1.193


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 21.876 0.035 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 20.727 0.036 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 855 855 929 936 1354 1670 0 0
normalized size 1 1. 1.09 1.09 1.58 1.95 0. 0.
time (sec) N/A 1.051 4.581 0.078 2.101 2.176 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 419 419 540 391 618 814 0 0
normalized size 1 1. 1.29 0.93 1.47 1.94 0. 0.
time (sec) N/A 0.504 0.856 0.03 1.572 2.039 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 133 108 186 412 0 0
normalized size 1 1. 0.98 0.79 1.37 3.03 0. 0.
time (sec) N/A 0.162 0.102 0.016 1.226 1.821 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 434 434 170 156 0 1359 0 0
normalized size 1 1. 0.39 0.36 0. 3.13 0. 0.
time (sec) N/A 1.92 2.743 0.027 0. 2.34 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 566 566 313 1556 0 1908 0 0
normalized size 1 1. 0.55 2.75 0. 3.37 0. 0.
time (sec) N/A 2.63 1.229 0.083 0. 2.733 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 630 630 613 452 3386 1303 0 0
normalized size 1 1. 0.97 0.72 5.37 2.07 0. 0.
time (sec) N/A 0.748 2.931 0.017 2.911 2.437 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 318 318 378 225 1628 771 0 0
normalized size 1 1. 1.19 0.71 5.12 2.42 0. 0.
time (sec) N/A 0.385 1.173 0.017 1.998 2.072 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 146 105 716 406 0 0
normalized size 1 1. 1.04 0.74 5.08 2.88 0. 0.
time (sec) N/A 0.112 0.151 0.013 1.441 2.019 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 29.668 0.058 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 180.033 0.056 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 289 226 0 0 568 0 594
normalized size 1 1. 0.78 0. 0. 1.97 0. 2.06
time (sec) N/A 0.269 0.547 0.04 0. 7.63 0. 1.254


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 111 0 0 356 0 198
normalized size 1 1. 0.55 0. 0. 1.76 0. 0.98
time (sec) N/A 0.178 0.284 0.032 0. 7.76 0. 1.173


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 97 0 0 317 0 173
normalized size 1 1. 0.61 0. 0. 1.98 0. 1.08
time (sec) N/A 0.138 0.211 0.033 0. 7.271 0. 1.19


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 70 0 0 219 0 112
normalized size 1 1. 0.82 0. 0. 2.58 0. 1.32
time (sec) N/A 0.07 0.076 0.034 0. 7.241 0. 1.197


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 0 31 120 0 47
normalized size 1 1. 1. 0. 0.74 2.86 0. 1.12
time (sec) N/A 0.052 0.068 0.033 1.049 1.665 0. 1.178


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 85 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.146 0.145 0.034 0. 0. 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 115 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.181 0.181 0.035 0. 0. 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 184 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.263 0.355 0.035 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 175 0 0 0 0 639
normalized size 1 1. 0.66 0. 0. 0. 0. 2.39
time (sec) N/A 0.273 0.738 0.032 0. 0. 0. 1.339


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 160 0 0 0 0 284
normalized size 1 1. 0.7 0. 0. 0. 0. 1.25
time (sec) N/A 0.198 0.455 0.033 0. 0. 0. 1.223


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 72 0 0 232 0 171
normalized size 1 1. 0.81 0. 0. 2.61 0. 1.92
time (sec) N/A 0.086 0.06 0.034 0. 7.919 0. 1.201


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 0 31 123 0 70
normalized size 1 1. 1. 0. 0.7 2.8 0. 1.59
time (sec) N/A 0.063 0.075 0.033 1.049 1.712 0. 1.221


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 96 0 0 0 0 113
normalized size 1 1. 0.72 0. 0. 0. 0. 0.85
time (sec) N/A 0.125 0.147 0.034 0. 0. 0. 1.139


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 133 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.163 0.242 0.033 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 87 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.153 0.156 0.033 0. 0. 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 208 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.242 0.34 0.042 0. 0. 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 131 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.165 0.183 0.04 0. 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 88 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.181 0.04 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 42 0 42 154 0 0
normalized size 1 1. 0.93 0. 0.93 3.42 0. 0.
time (sec) N/A 0.047 0.066 0.04 1.04 2.077 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 72 0 0 282 0 0
normalized size 1 1. 0.79 0. 0. 3.1 0. 0.
time (sec) N/A 0.076 0.088 0.042 0. 7.58 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 107 0 0 382 0 0
normalized size 1 1. 0.62 0. 0. 2.22 0. 0.
time (sec) N/A 0.148 0.166 0.042 0. 8.887 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 112 0 0 437 0 0
normalized size 1 1. 0.52 0. 0. 2.01 0. 0.
time (sec) N/A 0.189 0.276 0.041 0. 8.789 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 237 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.287 0.906 0.041 0. 0. 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 262 262 228 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.228 0.364 0.041 0. 0. 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 113 0 0 0 0 0
normalized size 1 1. 0.67 0. 0. 0. 0. 0.
time (sec) N/A 0.182 0.303 0.04 0. 0. 0. 0.


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 90 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.145 0.213 0.043 0. 0. 0. 0.


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 136 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.158 0.327 0.04 0. 0. 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 96 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.138 0.171 0.042 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 44 0 42 157 0 0
normalized size 1 1. 0.94 0. 0.89 3.34 0. 0.
time (sec) N/A 0.066 0.082 0.042 1.033 1.463 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 72 0 0 317 0 0
normalized size 1 1. 0.76 0. 0. 3.34 0. 0.
time (sec) N/A 0.096 0.109 0.042 0. 6.577 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 165 0 0 0 0 0
normalized size 1 1. 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.245 0.907 0.043 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 277 277 192 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.265 1.254 0.043 0. 0. 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.009 6.093 0.187 0. 0. 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 503 503 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.391 11.53 0.039 0. 0. 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 369 369 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.249 7.58 0.087 0. 0. 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 192 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.131 0.829 0.086 0. 0. 0. 0.


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 121 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.096 0.06 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.009 1.688 0.036 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.009 1.606 0.09 0. 0. 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 519 519 539 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.534 14.637 0.07 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 403 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.345 12.585 0.118 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 215 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.192 0.493 0.151 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 126 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.246 0.142 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 2.789 0.072 0. 0. 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 2.675 0.118 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 856 856 786 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.966 21.681 0.33 0. 0. 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 556 556 552 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.457 4.532 0.403 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 261 261 277 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.149 1.969 0.206 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 3.651 0.335 0. 0. 0. 0.


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 3.167 0.293 0. 0. 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 1.375 0.055 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 1.296 0.073 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.006 0.267 0.066 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.66 0.075 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.813 0.045 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 180.165 0.4 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.015 180.133 2.198 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.006 11.19 1.366 0. 0. 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 180.108 0.362 0. 0. 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 180.128 0.359 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 2.097 0.994 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 150 209 348 571 0 0
normalized size 1 1. 0.67 0.93 1.55 2.55 0. 0.
time (sec) N/A 0.457 0.597 0.037 1.342 1.402 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 79 115 207 387 0 0
normalized size 1 1. 0.67 0.97 1.75 3.28 0. 0.
time (sec) N/A 0.239 0.213 0.022 1.221 1.325 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 50 43 88 163 0 0
normalized size 1 1. 1.32 1.13 2.32 4.29 0. 0.
time (sec) N/A 0.078 0.03 0.01 1.129 1.308 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 103 103 83 142 0 366 0 0
normalized size 1 1. 0.81 1.38 0. 3.55 0. 0.
time (sec) N/A 0.279 0.202 0.023 0. 1.537 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 85 144 0 382 0 0
normalized size 1 1. 0.9 1.53 0. 4.06 0. 0.
time (sec) N/A 0.222 0.741 0.019 0. 1.334 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 151 527 0 959 0 0
normalized size 1 1. 0.65 2.26 0. 4.12 0. 0.
time (sec) N/A 0.487 1.857 0.02 0. 1.594 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 252 265 435 828 0 0
normalized size 1 1. 0.99 1.04 1.71 3.26 0. 0.
time (sec) N/A 0.616 0.561 0.039 1.418 1.634 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 105 110 185 373 0 0
normalized size 1 1. 1.12 1.17 1.97 3.97 0. 0.
time (sec) N/A 0.226 0.145 0.024 1.221 1.553 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 255 255 195 321 0 776 0 0
normalized size 1 1. 0.76 1.26 0. 3.04 0. 0.
time (sec) N/A 0.663 0.401 0.034 0. 1.477 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 263 308 0 805 0 0
normalized size 1 1. 1.35 1.58 0. 4.13 0. 0.
time (sec) N/A 0.391 1.451 0.029 0. 1.693 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 470 470 740 1124 0 2053 0 0
normalized size 1 1. 1.57 2.39 0. 4.37 0. 0.
time (sec) N/A 0.957 3.466 0.038 0. 2.069 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 1.046 1.049 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.57 0.94 0. 0. 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 0.037 0.062 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.078 0. 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.135 0. 0. 0. 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 112.861 3.425 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 19.451 2.381 0. 0. 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.005 3.275 1.77 0. 0. 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 2.947 0.002 0. 0. 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 99.551 0. 0. 0. 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 1.399 0.513 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 94 0 0 213 0 0
normalized size 1 1. 0.82 0. 0. 1.85 0. 0.
time (sec) N/A 0.287 0.125 0.154 0. 1.745 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 47 151 197 176 143 0
normalized size 1 1. 0.49 1.57 2.05 1.83 1.49 0.
time (sec) N/A 0.208 0.198 0.079 1.606 1.68 29.811 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 40 133 134 155 117 0
normalized size 1 1. 0.54 1.8 1.81 2.09 1.58 0.
time (sec) N/A 0.182 0.224 0.075 1.549 1.755 11.83 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 30 117 81 135 76 0
normalized size 1 1. 0.67 2.6 1.8 3. 1.69 0.
time (sec) N/A 0.127 0.132 0.072 1.517 1.695 5.147 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 105 42 104 53 0
normalized size 1 1. 1. 4.2 1.68 4.16 2.12 0.
time (sec) N/A 0.018 0.063 0.111 1.46 1.695 1.943 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 36 228 57 265 0 0
normalized size 1 1. 0.65 4.15 1.04 4.82 0. 0.
time (sec) N/A 0.166 0.057 0.078 1.643 1.694 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 51 155 328 339 0 0
normalized size 1 1. 0.66 2.01 4.26 4.4 0. 0.
time (sec) N/A 0.177 0.179 0.083 1.661 1.791 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 69 183 365 401 0 0
normalized size 1 1. 0.59 1.58 3.15 3.46 0. 0.
time (sec) N/A 0.206 0.145 0.082 1.674 1.695 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 138 0 0 270 0 0
normalized size 1 1. 0.9 0. 0. 1.76 0. 0.
time (sec) N/A 0.301 0.3 0.162 0. 1.805 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 38 135 43 157 92 0
normalized size 1 1. 0.66 2.33 0.74 2.71 1.59 0.
time (sec) N/A 0.181 0.091 0.08 1.54 1.607 30.286 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 105 240 481 425 0 0
normalized size 1 1. 0.68 1.55 3.1 2.74 0. 0.
time (sec) N/A 0.214 0.271 0.123 1.72 1.708 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 119 22 120 66 0
normalized size 1 1. 1. 3.84 0.71 3.87 2.13 0.
time (sec) N/A 0.104 0.052 0.071 1.536 1.61 5.097 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 80 157 444 356 0 0
normalized size 1 1. 0.68 1.34 3.79 3.04 0. 0.
time (sec) N/A 0.059 0.121 0.083 1.713 1.819 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 47 268 63 285 0 0
normalized size 1 1. 0.64 3.67 0.86 3.9 0. 0.
time (sec) N/A 0.121 0.058 0.083 1.697 1.741 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 105 232 489 412 0 0
normalized size 1 1. 0.78 1.72 3.62 3.05 0. 0.
time (sec) N/A 0.156 0.277 0.092 1.739 1.581 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 67 214 70 375 0 0
normalized size 1 1. 0.68 2.18 0.71 3.83 0. 0.
time (sec) N/A 0.203 0.128 0.087 1.691 1.664 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 142 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.381 0.325 0.295 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 129 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.278 0.189 0.125 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 129 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.266 0.187 0.182 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 129 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.186 0.185 0.154 0. 0. 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 119 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.137 0.128 0. 0. 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 47 280 0 293 0 0
normalized size 1 1. 0.64 3.84 0. 4.01 0. 0.
time (sec) N/A 0.151 0.074 0.144 0. 1.778 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 110 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.205 0.16 0.185 0. 0. 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 114 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.212 0.174 0.112 0. 0. 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 142 0 0 301 0 0
normalized size 1 1. 0.84 0. 0. 1.78 0. 0.
time (sec) N/A 0.301 0.537 0.134 0. 1.864 0. 0.


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 79 208 386 259 0 0
normalized size 1 1. 0.48 1.26 2.34 1.57 0. 0.
time (sec) N/A 0.188 0.296 0.08 1.634 1.635 0. 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 69 190 296 227 0 0
normalized size 1 1. 0.5 1.37 2.13 1.63 0. 0.
time (sec) N/A 0.164 0.281 0.078 1.581 1.71 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 55 174 219 198 0 0
normalized size 1 1. 0.7 2.2 2.77 2.51 0. 0.
time (sec) N/A 0.102 0.174 0.073 1.516 1.788 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 47 158 157 146 0 0
normalized size 1 1. 0.85 2.87 2.85 2.65 0. 0.
time (sec) N/A 0.023 0.094 0.113 1.471 1.629 0. 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 50 283 70 288 0 0
normalized size 1 1. 0.51 2.86 0.71 2.91 0. 0.
time (sec) N/A 0.209 0.087 0.079 1.576 1.75 0. 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 65 211 378 332 0 0
normalized size 1 1. 0.76 2.45 4.4 3.86 0. 0.
time (sec) N/A 0.184 0.148 0.089 1.648 1.795 0. 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 85 238 420 404 0 0
normalized size 1 1. 0.71 2. 3.53 3.39 0. 0.
time (sec) N/A 0.23 0.203 0.088 1.703 1.842 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 189 0 0 359 0 0
normalized size 1 1. 0.9 0. 0. 1.72 0. 0.
time (sec) N/A 0.277 0.895 0.132 0. 1.803 0. 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 67 200 63 219 0 0
normalized size 1 1. 0.74 2.2 0.69 2.41 0. 0.
time (sec) N/A 0.183 0.234 0.086 1.551 1.599 0. 0.


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 113 309 539 387 0 0
normalized size 1 1. 0.58 1.58 2.76 1.98 0. 0.
time (sec) N/A 0.231 0.287 0.112 1.761 1.852 0. 0.


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 55 182 38 162 0 0
normalized size 1 1. 0.85 2.8 0.58 2.49 0. 0.
time (sec) N/A 0.1 0.118 0.075 1.546 1.588 0. 0.


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 93 224 483 305 0 0
normalized size 1 1. 0.63 1.51 3.26 2.06 0. 0.
time (sec) N/A 0.058 0.102 0.087 1.726 1.702 0. 0.


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 60 331 74 304 0 0
normalized size 1 1. 0.52 2.88 0.64 2.64 0. 0.
time (sec) N/A 0.133 0.096 0.085 1.689 1.614 0. 0.


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 107 301 510 339 0 0
normalized size 1 1. 0.81 2.28 3.86 2.57 0. 0.
time (sec) N/A 0.148 0.202 0.096 1.751 1.751 0. 0.


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 79 277 86 366 0 0
normalized size 1 1. 0.49 1.72 0.53 2.27 0. 0.
time (sec) N/A 0.215 0.145 0.095 1.691 1.693 0. 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 194 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.365 0.832 0.211 0. 0. 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 161 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.341 0.543 0.124 0. 0. 0. 0.


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 168 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.315 0.558 0.157 0. 0. 0. 0.


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 160 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.24 0.549 0.23 0. 0. 0. 0.


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 149 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.267 0.173 0. 0. 0. 0.


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 63 343 0 317 0 0
normalized size 1 1. 0.52 2.83 0. 2.62 0. 0.
time (sec) N/A 0.179 0.138 0.144 0. 1.868 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 125 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.275 0.344 0.158 0. 0. 0. 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 129 0 0 0 0 0
normalized size 1 1. 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.269 0.352 0.115 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [177] had the largest ratio of [ 0.7 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 6 4 1. 16 0.25







2 A 5 4 1. 16 0.25







3 A 4 3 1. 14 0.214







4 A 5 4 1. 16 0.25







5 A 7 6 1. 16 0.375







6 A 8 6 1. 16 0.375







7 A 7 6 1. 16 0.375







8 A 6 5 1. 16 0.312







9 A 4 3 1. 12 0.25







10 A 6 5 1. 16 0.312







11 A 7 6 1. 16 0.375







12 A 10 8 1. 18 0.444







13 A 7 6 1. 18 0.333







14 A 2 2 1. 16 0.125







15 A 9 6 1. 18 0.333







16 A 13 8 1. 18 0.444







17 A 15 8 1. 18 0.444







18 A 13 8 1. 18 0.444







19 A 11 8 1. 18 0.444







20 A 8 5 1. 14 0.357







21 A 11 8 1. 18 0.444







22 A 13 8 1. 18 0.444







23 A 7 5 1. 14 0.357







24 A 4 4 1. 14 0.286







25 A 3 2 1. 12 0.167







26 A 8 4 1. 14 0.286







27 A 12 6 1. 14 0.429







28 A 10 5 1. 14 0.357







29 A 8 4 1. 10 0.4







30 A 9 5 1. 14 0.357







31 A 6 3 1. 10 0.3







32 A 7 4 1. 14 0.286







33 A 3 2 1. 12 0.167







34 A 8 6 1. 12 0.5







35 A 11 7 1. 18 0.389







36 A 9 6 1. 18 0.333







37 A 4 4 1. 16 0.25







38 A 0 0 0. 0 0.







39 A 0 0 0. 0 0.







40 A 0 0 0. 0 0.







41 A 0 0 0. 0 0.







42 A 0 0 0. 0 0.







43 A 19 11 1. 18 0.611







44 A 12 9 1. 18 0.5







45 A 6 6 1. 16 0.375







46 A 0 0 0. 0 0.







47 A 0 0 0. 0 0.







48 A 0 0 0. 0 0.







49 A 0 0 0. 0 0.







50 A 0 0 0. 0 0.







51 A 0 0 0. 0 0.







52 A 13 5 1. 20 0.25







53 A 9 5 1. 20 0.25







54 A 5 3 1. 18 0.167







55 A 0 0 0. 0 0.







56 A 0 0 0. 0 0.







57 A 5 4 1. 16 0.25







58 A 4 3 1. 16 0.188







59 A 5 4 1. 16 0.25







60 A 7 6 1. 16 0.375







61 A 6 4 1. 16 0.25







62 A 5 3 1. 14 0.214







63 A 6 4 1. 16 0.25







64 A 7 5 1. 16 0.312







65 A 6 4 1. 16 0.25







66 A 4 2 1. 12 0.167







67 A 6 4 1. 16 0.25







68 A 7 5 1. 16 0.312







69 A 7 6 1. 18 0.333







70 A 2 2 1. 18 0.111







71 A 9 6 1. 18 0.333







72 A 13 8 1. 18 0.444







73 A 11 7 1. 18 0.389







74 A 9 5 1. 16 0.312







75 A 11 7 1. 18 0.389







76 A 13 7 1. 18 0.389







77 A 11 7 1. 18 0.389







78 A 8 4 1. 14 0.286







79 A 11 7 1. 18 0.389







80 A 13 7 1. 18 0.389







81 A 9 6 1. 18 0.333







82 A 4 4 1. 18 0.222







83 A 0 0 0. 0 0.







84 A 0 0 0. 0 0.







85 A 0 0 0. 0 0.







86 A 0 0 0. 0 0.







87 A 0 0 0. 0 0.







88 A 0 0 0. 0 0.







89 A 12 9 1. 18 0.5







90 A 6 6 1. 18 0.333







91 A 0 0 0. 0 0.







92 A 0 0 0. 0 0.







93 A 0 0 0. 0 0.







94 A 0 0 0. 0 0.







95 A 0 0 0. 0 0.







96 A 0 0 0. 0 0.







97 A 0 0 0. 0 0.







98 A 13 5 1. 20 0.25







99 A 9 5 1. 20 0.25







100 A 5 3 1. 18 0.167







101 A 0 0 0. 0 0.







102 A 0 0 0. 0 0.







103 A 7 5 1. 12 0.417







104 A 6 5 1. 10 0.5







105 A 5 5 1. 8 0.625







106 A 3 3 1. 12 0.25







107 A 2 2 1. 12 0.167







108 A 3 3 1. 12 0.25







109 A 4 3 1. 12 0.25







110 A 5 3 1. 12 0.25







111 A 9 6 1. 14 0.429







112 A 8 8 1. 12 0.667







113 A 6 6 1. 10 0.6







114 A 5 4 1. 14 0.286







115 A 3 3 1. 14 0.214







116 A 3 3 1. 14 0.214







117 A 5 5 1. 14 0.357







118 A 5 4 1. 14 0.286







119 A 5 5 1. 8 0.625







120 A 3 3 1. 12 0.25







121 A 4 4 1. 12 0.333







122 A 2 2 1. 12 0.167







123 A 5 5 1. 12 0.417







124 A 2 2 1. 12 0.167







125 A 3 2 1. 14 0.143







126 A 3 3 1. 6 0.5







127 A 5 5 1. 8 0.625







128 A 7 5 1. 8 0.625







129 A 0 0 0. 0 0.







130 A 0 0 0. 0 0.







131 A 3 3 1. 20 0.15







132 A 0 0 0. 0 0.







133 A 5 5 1. 22 0.227







134 A 0 0 0. 0 0.







135 A 3 3 1. 12 0.25







136 A 5 4 1. 14 0.286







137 A 8 4 1. 14 0.286







138 A 8 4 1. 14 0.286







139 A 3 2 1. 8 0.25







140 A 5 3 1. 10 0.3







141 A 8 3 1. 10 0.3







142 A 3 2 1. 12 0.167







143 A 5 3 1. 14 0.214







144 A 8 3 1. 14 0.214







145 A 3 3 1. 16 0.188







146 A 3 3 1. 16 0.188







147 A 5 5 1. 16 0.312







148 A 7 6 1. 18 0.333







149 A 12 6 1. 18 0.333







150 A 6 5 1. 16 0.312







151 A 8 6 1. 18 0.333







152 A 14 6 1. 18 0.333







153 A 10 8 1. 18 0.444







154 A 7 6 1. 18 0.333







155 A 5 4 1. 16 0.25







156 A 1 1 1. 10 0.1







157 A 0 0 0. 0 0.







158 A 0 0 0. 0 0.







159 A 16 11 1. 18 0.611







160 A 12 10 1. 18 0.556







161 A 8 7 1. 16 0.438







162 A 3 3 1. 10 0.3







163 A 0 0 0. 0 0.







164 A 0 0 0. 0 0.







165 A 14 10 1. 20 0.5







166 A 11 8 1. 20 0.4







167 A 7 6 1. 18 0.333







168 A 3 3 1. 12 0.25







169 A 0 0 0. 0 0.







170 A 0 0 0. 0 0.







171 A 14 9 1. 20 0.45







172 A 10 7 1. 20 0.35







173 A 8 5 1. 18 0.278







174 A 3 2 1. 12 0.167







175 A 0 0 0. 0 0.







176 A 0 0 0. 0 0.







177 A 18 14 1. 20 0.7







178 A 12 11 1. 18 0.611







179 A 5 5 1. 12 0.417







180 A 0 0 0. 0 0.







181 A 0 0 0. 0 0.







182 A 13 10 1. 20 0.5







183 A 8 5 1. 18 0.278







184 A 3 2 1. 12 0.167







185 A 0 0 0. 0 0.







186 A 0 0 0. 0 0.







187 A 14 3 1. 22 0.136







188 A 8 3 1. 20 0.15







189 A 3 3 1. 14 0.214







190 A 8 4 1. 22 0.182







191 A 10 6 1. 22 0.273







192 A 12 9 1. 22 0.409







193 A 9 6 1. 20 0.3







194 A 4 3 1. 14 0.214







195 A 0 0 0. 0 0.







196 A 0 0 0. 0 0.







197 A 23 5 1. 22 0.227







198 A 14 5 1. 20 0.25







199 A 6 5 1. 14 0.357







200 A 13 5 1. 22 0.227







201 A 10 6 1. 22 0.273







202 A 14 8 1. 22 0.364







203 A 8 3 1. 20 0.15







204 A 4 3 1. 14 0.214







205 A 0 0 0. 0 0.







206 A 0 0 0. 0 0.







207 A 20 4 1. 22 0.182







208 A 11 4 1. 20 0.2







209 A 4 3 1. 14 0.214







210 A 11 4 1. 22 0.182







211 A 13 6 1. 22 0.273







212 A 17 10 1. 22 0.454







213 A 10 8 1. 20 0.4







214 A 5 5 1. 14 0.357







215 A 0 0 0. 0 0.







216 A 0 0 0. 0 0.







217 A 29 5 1. 22 0.227







218 A 17 5 1. 20 0.25







219 A 7 5 1. 14 0.357







220 A 16 5 1. 22 0.227







221 A 13 6 1. 22 0.273







222 A 24 13 1. 22 0.591







223 A 15 12 1. 20 0.6







224 A 7 7 1. 14 0.5







225 A 0 0 0. 0 0.







226 A 0 0 0. 0 0.







227 A 9 4 1. 27 0.148







228 A 7 4 1. 27 0.148







229 A 6 4 1. 27 0.148







230 A 4 4 1. 27 0.148







231 A 3 3 1. 27 0.111







232 A 6 6 1. 27 0.222







233 A 7 6 1. 27 0.222







234 A 9 6 1. 27 0.222







235 A 9 8 1. 27 0.296







236 A 8 8 1. 27 0.296







237 A 5 5 1. 27 0.185







238 A 4 4 1. 27 0.148







239 A 6 6 1. 27 0.222







240 A 7 7 1. 27 0.259







241 A 7 7 1. 27 0.259







242 A 9 6 1. 27 0.222







243 A 7 6 1. 27 0.222







244 A 6 6 1. 27 0.222







245 A 3 3 1. 27 0.111







246 A 4 4 1. 27 0.148







247 A 6 4 1. 27 0.148







248 A 7 4 1. 27 0.148







249 A 11 9 1. 27 0.333







250 A 10 9 1. 27 0.333







251 A 8 7 1. 27 0.259







252 A 7 7 1. 27 0.259







253 A 8 8 1. 27 0.296







254 A 6 6 1. 27 0.222







255 A 4 4 1. 27 0.148







256 A 5 5 1. 27 0.185







257 A 9 9 1. 27 0.333







258 A 10 9 1. 27 0.333







259 A 0 0 0. 0 0.







260 A 14 5 1. 16 0.312







261 A 11 5 1. 16 0.312







262 A 8 5 1. 14 0.357







263 A 3 2 1. 12 0.167







264 A 0 0 0. 0 0.







265 A 0 0 0. 0 0.







266 A 16 6 1. 20 0.3







267 A 13 6 1. 20 0.3







268 A 10 6 1. 18 0.333







269 A 4 2 1. 16 0.125







270 A 0 0 0. 0 0.







271 A 0 0 0. 0 0.







272 A 28 10 1. 22 0.454







273 A 19 10 1. 20 0.5







274 A 8 4 1. 18 0.222







275 A 0 0 0. 0 0.







276 A 0 0 0. 0 0.







277 A 0 0 0. 0 0.







278 A 0 0 0. 0 0.







279 A 0 0 0. 0 0.







280 A 0 0 0. 0 0.







281 A 0 0 0. 0 0.







282 A 0 0 0. 0 0.







283 A 0 0 0. 0 0.







284 A 0 0 0. 0 0.







285 A 0 0 0. 0 0.







286 A 0 0 0. 0 0.







287 A 0 0 0. 0 0.







288 A 23 6 1. 20 0.3







289 A 15 6 1. 18 0.333







290 A 6 5 1. 12 0.417







291 A 12 6 1. 20 0.3







292 A 7 6 1. 20 0.3







293 A 15 6 1. 20 0.3







294 A 27 11 1. 20 0.55







295 A 12 8 1. 14 0.571







296 A 22 6 1. 22 0.273







297 A 12 8 1. 22 0.364







298 A 27 11 1. 22 0.5







299 A 0 0 0. 0 0.







300 A 0 0 0. 0 0.







301 A 0 0 0. 0 0.







302 A 0 0 0. 0 0.







303 A 0 0 0. 0 0.







304 A 0 0 0. 0 0.







305 A 0 0 0. 0 0.







306 A 0 0 0. 0 0.







307 A 0 0 0. 0 0.







308 A 0 0 0. 0 0.







309 A 0 0 0. 0 0.







310 A 4 3 1. 18 0.167







311 A 5 3 1. 18 0.167







312 A 4 3 1. 18 0.167







313 A 3 3 1. 16 0.188







314 A 2 2 1. 14 0.143







315 A 4 4 1. 18 0.222







316 A 5 5 1. 18 0.278







317 A 6 5 1. 18 0.278







318 A 4 3 1. 20 0.15







319 A 4 4 1. 20 0.2







320 A 5 5 1. 20 0.25







321 A 3 3 1. 18 0.167







322 A 4 4 1. 16 0.25







323 A 4 4 1. 20 0.2







324 A 5 5 1. 20 0.25







325 A 6 6 1. 20 0.3







326 A 4 3 1. 20 0.15







327 A 4 3 1. 20 0.15







328 A 4 3 1. 20 0.15







329 A 4 3 1. 18 0.167







330 A 4 3 1. 16 0.188







331 A 4 4 1. 20 0.2







332 A 4 3 1. 20 0.15







333 A 4 3 1. 20 0.15







334 A 6 4 1. 18 0.222







335 A 5 4 1. 18 0.222







336 A 5 5 1. 18 0.278







337 A 3 3 1. 16 0.188







338 A 3 3 1. 14 0.214







339 A 6 5 1. 18 0.278







340 A 6 6 1. 18 0.333







341 A 8 7 1. 18 0.389







342 A 6 4 1. 20 0.2







343 A 4 4 1. 20 0.2







344 A 7 6 1. 20 0.3







345 A 4 4 1. 18 0.222







346 A 6 5 1. 16 0.312







347 A 6 5 1. 20 0.25







348 A 7 7 1. 20 0.35







349 A 8 7 1. 20 0.35







350 A 6 4 1. 20 0.2







351 A 6 4 1. 20 0.2







352 A 6 4 1. 20 0.2







353 A 6 4 1. 18 0.222







354 A 6 4 1. 16 0.25







355 A 6 5 1. 20 0.25







356 A 6 4 1. 20 0.2







357 A 6 4 1. 20 0.2